TSTP Solution File: GRA072^1 by Refute---2015